$\vdash$  $\forall$$i$,$j$:$\mathbb{Z}$, $y$:\{$i$..$j$$^{-}$\}. $i$ $\leq$ $y$ $<$ $j$